Ravenscar Support for Time-Triggered Scheduling
نویسندگان
چکیده
منابع مشابه
Synchronous Interface Theories and Time Triggered Scheduling
We propose synchronous interfaces, a new interface theory for discrete-time systems. We use an application to time-triggered scheduling to drive the design choices for our formalism; in particular, additionally to deriving useful mathematical properties, we focus on providing a syntax which is adapted to natural high-level system modeling. As a result, we develop an interface model that relies ...
متن کاملScheduling with Optimized Communication for Time-Triggered Embedded Systems
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. The communication model is based on a timetriggered protocol. We take into consideration overheads due to communication and the execution environment. Communications have been optimized through packaging of messages into...
متن کاملControl-aware Scheduling for Time-triggered Automotive Systems
This paper presents a schedule optimization approach for control applications in time-triggered automotive systems. Here, both sampling periods an bus as well as operating system schedules are optimized concurrently for a given architecture, a set of applications, and task mapping. Two conflicting optimization goals are considered: the control performance and the load of the system. For a given...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGAda Ada Letters
سال: 2018
ISSN: 1094-3641
DOI: 10.1145/3241950.3241957